Constructible universe - PDFSEARCH.IO - Document Search Engine

Constructible universe
Results: 1309

#	Item
171	SYMBOLIC REPRESENTATIONS OF NONEXPANSIVE GROUP AUTOMORPHISMS ELON LINDENSTRAUSS AND KLAUS SCHMIDT Abstract. If α is an irreducible nonexpansive ergodic automorphism of a compact abelian group X (such as an irreducible n Add to Reading List Source URL: www.ma.huji.ac.il Language: English - Date: 2005-01-17 11:24:56 Ergodic theory Stochastic processes Operator theory Mixing Symbol Invariant measure Ergodicity Constructible universe Von Neumann algebra Vertex operator algebra Differential forms on a Riemann surface
172	arXiv:math.OAv2 28 SepTHE STRUCTURE OF CROSSED PRODUCTS OF IRRATIONAL ROTATION ALGEBRAS BY FINITE SUBGROUPS OF SL2 (Z) ¨ SIEGFRIED ECHTERHOFF, WOLFGANG LUCK, Add to Reading List Source URL: 131.220.77.52 Language: English - Date: 2011-03-02 09:33:03 Differential forms Operator theory Approximately finite-dimensional C*-algebra Closed and exact differential forms Von Neumann algebra Amenable group F-algebra Constructible universe Differential forms on a Riemann surface Congruence lattice problem
173	Towards a Unified Treatment of Induction, I: The General Recursion Theorem Paul Taylor 1995–6 Abstract The recursive construction of a function f : A → Θ consists, paradigmatically, of finding Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 12:52:32 Category theory Functional programming Algebras Boolean algebra F-algebra Functor Algebraic structure Ordinal number F-coalgebra Adjoint functors Constructible universe Free algebra
174	553 Documenta Math. A Modular Compactification of the General Linear Group Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2001-01-17 12:27:51 Ordinal number Wellfoundedness Constructible universe Symbol Closed and exact differential forms NC CurryHoward correspondence Generalised Whitehead product
175	Documenta Mathematica Journal der Deutschen Mathematiker-Vereinigung ¨ ndet 1996 Gegru Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2007-04-03 14:30:15 Constructible universe Spectral theory of ordinary differential equations Differential forms on a Riemann surface
176	Utility maximization under increasing risk aversion in one-period models Patrick Cheridito∗ Christopher Summer† Add to Reading List Source URL: www.princeton.edu Language: English - Date: 2005-05-26 15:57:13 Greek letters Connection Constructible universe Theta Information theory Absorbing set
177	254 Order Given by.__.__._ _ _.!.L_ ,. Add to Reading List Source URL: adamsingenweb.com - Date: 2014-06-30 10:27:43 Constructible universe Funeral
178	Truly Modular (Co)datatypes for Isabelle/HOL Jasmin Christian Blanchette1 , Johannes Hölzl1 , Andreas Lochbihler2 , Lorenz Panny1 , Andrei Popescu1,3 , and Dmitriy Traytel1 1 3 Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-01-25 16:18:54 Ordinal numbers Type theory Computability theory Recursion Constructible universe Lambda calculus Standard ML Recursive data type Fold CurryHoward correspondence
179	Learning Regular Omega Languages Dana Angluin1? and Dana Fisman2?? 1 2 Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-09-03 16:14:08 Finite automata Formal languages Theoretical computer science -automaton Omega language Regular language Muller automaton Constructible universe Symbol DFA minimization Mathematics Omega-regular language
180	PDF Document Add to Reading List Source URL: mathsci.ucd.ie Language: English - Date: 2007-09-14 09:56:18 Constructible universe Probability distributions

UPDATE